|
|
Experimental Algorithms
by Pardalos, Panos M.
Publication:
. X, 460 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Declarative Programming and Knowledge Management
by Abreu, Salvador.
Publication:
. X, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Alpuente, María.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Evolutionary Computation
by Chio, Cecilia.
Publication:
. XXXI, 367p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Evolutionary Computation
by Chio, Cecilia.
Publication:
. XXXII, 513 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming
by Silva, Sara.
Publication:
. XIII, 348 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Natural Computing Algorithms
by Dobnikar, Andrej.
Publication:
. XVI, 433p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Natural Computing Algorithms
by Dobnikar, Andrej.
Publication:
. XVI, 403p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Knoop, Jens.
Publication:
. XII, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Abdulla, Parosh Aziz.
Publication:
. XVI, 394p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Barthe, Gilles.
Publication:
. XIV, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Computing
by Ceri, Stefano.
Publication:
. XIII, 273 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Cooper, Keith.
Publication:
. X, 278 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Koch, Andreas.
Publication:
. XIV, 398 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Oriented Software Engineering X
by Gleizes, Marie-Pierre.
Publication:
. XII, 229p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Marrón, Pedro José.
Publication:
. X, 227 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|